51![Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface R´egis Blanc Viktor Kuncak Sound Reasoning about Integral Data Types with a Reusable SMT Solver Interface R´egis Blanc Viktor Kuncak](https://www.pdfsearch.io/img/cc5f2834a943643cbf7b03f6ab5b9ea0.jpg) | Add to Reading ListSource URL: lampwww.epfl.chLanguage: English - Date: 2015-06-14 10:27:44
|
---|
52![Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011 Mostly-Automated Verification of Low-Level Programs in Computational Separation Logic Adam Chlipala Harvard University PLDI 2011](https://www.pdfsearch.io/img/f31d3a3c91f4646af635855d48f6d518.jpg) | Add to Reading ListSource URL: adam.chlipala.netLanguage: English - Date: 2016-01-02 15:47:17
|
---|
53![Commoditizing Verification Commoditizing Verification](https://www.pdfsearch.io/img/d307b435ba05eb1de50c6b150e2054be.jpg) | Add to Reading ListSource URL: homes.cs.washington.eduLanguage: English - Date: 2013-10-15 23:23:06
|
---|
54![Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International Accelerating lemma learning using joins - DPLL(t) Nikolaj Bjørner Microsoft Research Bruno Dutertre SRI International](https://www.pdfsearch.io/img/c87767f9d19b5eedacf19583146ace62.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|
55![Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis Event-B & Cloud Provers A. Iliasov D. Adjepon-Yamoah P. Stankaitis](https://www.pdfsearch.io/img/4a0d8da431eb8ba66150d9e9a0fc4f61.jpg) | Add to Reading ListSource URL: www.ai4fm.orgLanguage: English - Date: 2015-09-02 07:29:35
|
---|
56![LNCSA Tutorial on Satisfiability Modulo Theories LNCSA Tutorial on Satisfiability Modulo Theories](https://www.pdfsearch.io/img/022967fd9d4cc7b1440284bfeff08f11.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|
57![Satisfiability Modulo Theories: ABsolver Michael Tautschnig Joint work with: Andreas Bauer Martin Leucker Satisfiability Modulo Theories: ABsolver Michael Tautschnig Joint work with: Andreas Bauer Martin Leucker](https://www.pdfsearch.io/img/354470f45dc642683cfd0b4d7fa6aff7.jpg) | Add to Reading ListSource URL: www.tautschnig.netLanguage: English - Date: 2007-07-02 04:58:10
|
---|
58![A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com A Fast Linear-Arithmetic Solver for DPLL(T) Bruno Dutertre and Leonardo de Moura Computer Science Laboratory, SRI International, 333 Ravenswood Avenue, Menlo Park, CA 94025, USA {bruno, demoura}@csl.sri.com](https://www.pdfsearch.io/img/63f658bd3da245cd48daa17156967b3e.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|
59![Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules, Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules,](https://www.pdfsearch.io/img/5eec841a76bcca21110b55a45f3c2da8.jpg) | Add to Reading ListSource URL: pp.info.uni-karlsruhe.deLanguage: English - Date: 2015-01-20 17:49:37
|
---|
60![Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , , Template-based circuit understanding Adri`a Gasc´on∗ , Pramod Subramanyan† , Bruno Dutertre∗ , Ashish Tiwari∗ Dejan Jovanovi´c∗ , Sharad Malik† ∗ SRI International , ,](https://www.pdfsearch.io/img/9907a2c994fdfe994491d0ca48818426.jpg) | Add to Reading ListSource URL: yices.csl.sri.comLanguage: English - Date: 2015-12-11 18:43:06
|
---|